89 research outputs found

    Can a continuous mineral foam explain the stiffening of aged bone tissue? A micromechanical approach to mineral fusion in musculoskeletal tissues

    Get PDF
    Recent experimental data revealed a stiffening of aged cortical bone tissue, which could not be explained by common multiscale elastic material models. We explain this data by incorporating the role of mineral fusion via a new hierarchical modeling approach exploiting the asymptotic (periodic) homogenization (AH) technique for three-dimensional linear elastic composites. We quantify for the first time the stiffening that is obtained by considering a fused mineral structure in a softer matrix in comparison with a composite having non-fused cubic mineral inclusions. We integrate the AH approach in the Eshelby-based hierarchical mineralized turkey leg tendon model (Tiburtius et al 2014 Biomech. Model. Mechanobiol. 13 1003–23), which can be considered as a base for musculoskeletal mineralized tissue modeling. We model the finest scale compartments, i.e. the extrafibrillar space and the mineralized collagen fibril, by replacing the self-consistent scheme with our AH approach. This way, we perform a parametric analysis at increasing mineral volume fraction, by varying the amount of mineral that is fusing in the axial and transverse tissue directions in both compartments. Our effective stiffness results are in good agreement with those reported for aged human radius and support the argument that the axial stiffening in aged bone tissue is caused by the formation of a continuous mineral foam. Moreover, the proposed theoretical and computational approach supports the design of biomimetic materials which require an overall composite stiffening without increasing the amount of the reinforcing material

    A time-domain method to solve transient elastic wave propagation in a multilayer medium with a hybrid spectral-finite element space approximation

    Get PDF
    International audienceThis paper introduces a new numerical hybrid method to simulate transient wave propagation in a multilayer semi-infinite medium, which can be fluid or solid, subjected to given transient loads. The medium is constituted of a finite number of unbounded layers with finite thicknesses. The method has a low numerical cost and is relatively straightforward to implement, as opposed to most available numerical techniques devoted to similar problems. The proposed method is based on a time-domain formulation associated with a 2D-space Fourier transform for the variables associated with the two infinite dimensions and uses a finite element approximation in the direction perpendicular to the layers. An illustration of the method is given for an elasto-acoustic wave propagation problem: a three-layer medium constituted of an elastic layer sandwiched between two acoustic fluid layers and excited by an acoustic line source located in one fluid layer

    Computed tomography porosity and spherical indentation for determining cortical bone millimetre-scale mechanical properties

    Get PDF
    The cortex of the femoral neck is a key structural element of the human body, yet there is not a reliable metric for predicting the mechanical properties of the bone in this critical region. This study explored the use of a range of non-destructive metrics to measure femoral neck cortical bone stiffness at the millimetre length scale. A range of testing methods and imaging techniques were assessed for their ability to measure or predict the mechanical properties of cortical bone samples obtained from the femoral neck of hip replacement patients. Techniques that can potentially be applied in vivo to measure bone stiffness, including computed tomography (CT), bulk wave ultrasound (BWUS) and indentation, were compared against in vitro techniques, including compression testing, density measurements and resonant ultrasound spectroscopy. Porosity, as measured by micro-CT, correlated with femoral neck cortical bone’s elastic modulus and ultimate compressive strength at the millimetre length scale. Large-tip spherical indentation also correlated with bone mechanical properties at this length scale but to a lesser extent. As the elastic mechanical properties of cortical bone correlated with porosity, we would recommend further development of technologies that can safely measure cortical porosity in vivo. Introductio

    A formally verified compiler back-end

    Get PDF
    This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

    Quantitative Ultrasound Assessment of Cortical Bone Properties Beyond Bone Mineral Density

    No full text
    International audienceThe development of quantitative ultrasound (QUS) technologies to measure bone is motivated by the need to overcome the limitations of X-ray based methods, measuring bone mineral density (BMD) which is the gold standard to date for the diagnosis of osteoporosis. Because it uses mechanical waves, the ultrasound modality is a particularly relevant means to probe bone mechanical resistance. The vast majority of QUS technologies commercialized to date merely aim to provide surrogate markers for BMD. During the past decade, innovative QUS approaches have emerged to assess bone beyond BMD. This may be achieved by (1) specifically assessing the cortical bone compartment, independently of trabecular bone, and (2) providing intrinsic bone properties such as cortical bone thickness and material properties. One specific motivation is to estimate intracortical porosity, a quantity reflected in material properties. This article aims at an overview of recent QUS developments to measure cortical bone properties. We also draw a picture of the current knowledge on bone material properties of interest for bone QUS. We discuss the potential of ultrasound to provide novel biomarkers of bone health through the assessment of material properties
    corecore